1. Number theory I : Fundamental problems, ideas and theories
پدیدآورنده : A. N. Parshin, I. R. Shafarevich )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Number theory
رده :
QA
241
.
N8513
I
2. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
موضوع : ، Proof theory,، Number theory,، Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Numbers, Theory of,، Predicate calculus
رده :
QA
3
.
L28
no
.
447
4. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
1
.
L4
v
.
447
5. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann, 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
3
.
L28
Vol
.
447
